Flying Logic And The Theory Of Constraints